1. .....................
پدیدآورنده: ]edited by Jerome Fox[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Computer - Congresses,Machine theory - Congresses
رده :
TK
7885
.
S9
1971
3. A half-century of automata theory
پدیدآورنده: / editors, A. Salomaa, D. Wood, S. Yu
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory--Congresses
رده :
QA
,
267
,.
H333
,
2001
4. A text book of Theory of Machines
پدیدآورنده: R.K Bansal
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع: Machine theory, Congresses
رده :
621
,.
8
,
B36
,
2002
6. Abstract state machines 2003 :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Machine theory ; Congresses ;
7. Abstract state machines 2003
پدیدآورنده: / Egon B?�rger, Angelo Gargantini, Elvinia Riccobene (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory--Congresses
رده :
QA
,
267
,.
A86
,
2003
8. Abstract state machines :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Machine theory ; Congresses ;
9. Abstract state machines
پدیدآورنده: / Yuri Gurevich ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory--Congresses
رده :
QA
,
267
,.
A25
,
2000
10. Abstract state machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings
پدیدآورنده: / Edited by Michael Butler... [et al.].
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Machine learning -- Congresses.,Machine theory -- Congresses.,Machine learning.,Machine theory.,Computing Methodologies.,Machine learning, Machine theory, Computing Methodologies.
13. Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
پدیدآورنده: Wolf Zimmermann, Bernhard Thalheim )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
3052
14. Abstract state machines 2003 : advances in theory and practice ; 10th international workshop, ASM 2003, Taormina, Italy, March 2003 : proceedings
پدیدآورنده: Egon Borger, Angelo Gargantini, Elvinia Riccobene )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
2589
15. Abstract state machines, alloy, B and Z
پدیدآورنده: / Marc Frappier ... [et al.] (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Machine theory, Congresses,B method (Computer science), Congresses,Z (Computer program language), Congresses,Machine learning, Congresses
رده :
QA267
.
A29
2010
16. Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings
پدیدآورنده: Marc Frappier ... ]et al.[ )Eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، B method )Computer science(,Congresses ، Z )Computer program language(
رده :
QA
267
.
A26
2010
17. Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verita Switzerland, March 2000 : proceedings
پدیدآورنده: Yuri Gurevich...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
1912
18. Advances in Petri Nets 1984
پدیدآورنده: edited by G. Rozenberg with the cooperation of H. Genrich Roucairol
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
188
20. Advances in Petri Nets 1987
پدیدآورنده: Grzegorz Rozenberg )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Petri nets,Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
266
